  $ dune exec ./main.exe
